Modal logic - PDFSEARCH.IO - Document Search Engine

Modal logic
Results: 1643

#	Item
531	Preprint from http://www.philosophyofinformation.net This is a preprint of a paper accepted for publication in Synthese (Springer) Add to Reading List Source URL: www.philosophyofinformation.net Language: English - Date: 2014-03-28 12:55:26 Philosophical logic Knowledge Modal logic Grammar Luciano Floridi Philosophy of information Information Gettier problem Epistemic modal logic Philosophy Logic Science
532	Microsoft Word[removed]Back cover v2.doc Add to Reading List Source URL: warrandyte.org.au Language: English - Date: 2013-07-30 21:38:25 Australia Black Saturday bushfires Warrandyte North Victoria Warrandyte Victoria Victoria City of Manningham Modal logic Bushfires in Australia States and territories of Australia Geography of Australia
533	PDF Document Add to Reading List Source URL: isabelle.in.tum.de Language: English - Date: 2014-08-27 06:04:04 Logic in computer science First-order logic Isabelle Higher-order logic HOL Modal logic Unification Natural deduction Type theory Logic Mathematical logic Theoretical computer science
534	L. FLORIDI ON THE LOGICAL UNSOLVABILITY OF THE GETTIER PROBLEM ABSTRACT. The tripartite account of propositional, fallibilist knowledge that p as justified true belief can become adequate only if it can solve the Gettie Add to Reading List Source URL: www.philosophyofinformation.net Language: English - Date: 2014-03-28 12:55:14 Analytic philosophers Epistemologists Philosophical logic Gettier problem Edmund Gettier Justified true belief Common knowledge Modal logic Intuition Philosophy Knowledge Epistemology
535	Embodied Experiences in Second Language Learning of English Modal Verbs Sakol Suethanapornkul Chulalongkorn University 1. Introduction * Add to Reading List Source URL: www.lingref.com Language: English - Date: 2014-06-13 15:06:41 Grammatical moods English grammar Modal verb Linguistic modality Force dynamics Grammatical tenses Modal logic English modal verb Embodied cognition Linguistics Grammar Semantics
536	Agris on-line Papers in Economics and Informatics Volume VI Number 4, 2014 Quantitative Differences among Normal and Knowledge Texts Add to Reading List Source URL: online.agris.cz Language: English - Date: 2014-12-19 02:19:03 Modal logic Non-classical logic Philosophical logic Knowledge representation and reasoning Vocabulary Statistical hypothesis testing Knowledge Epistemology Logic Science Linguistics
537	Experiences in the Logical Specification of the HIPAA and GLBA Privacy Laws Henry DeYoung Add to Reading List Source URL: www.andrew.cmu.edu Language: English - Date: 2014-11-11 20:30:18 Mathematical logic Model theory Privacy Semantics Philosophical logic Health Insurance Portability and Accountability Act Linear temporal logic First-order logic Modal logic Logic Privacy law Ethics
538	LNCSThe Ackermann Award 2006 Add to Reading List Source URL: eacsl.kahle.ch Language: English - Date: 2013-12-08 17:58:22 Modal logic Philosophical logic Non-classical logic Hybrid logic Algebraic semantics F-coalgebra Abstract model theory Model theory Game semantics Logic Mathematics Mathematical logic
539	Worlds: Controlling the Scope of Side Effects Alessandro Warth, Yoshiki Ohshima, Ted Kaehler, and Alan Kay NOTE This document is superseded by VPRI Technical Report TR Add to Reading List Source URL: www.vpri.org Language: English - Date: 2015-01-21 19:16:49** Object-oriented programming Prototype-based programming Type theory Data types Scripting languages JavaScript Lookup table Modal logic Self Software engineering Computer programming Computing
540	xDomain: Cross-border Proofs of Access∗ Lujo Bauer§ Limin Jia† Michael K. Reiter‡ Add to Reading List Source URL: www.andrew.cmu.edu Language: English - Date: 2014-11-11 20:30:18 Logic in computer science Type theory Non-classical logic Philosophical logic Model theory First-order logic Modal logic Twelf Logic Mathematical logic Mathematics

UPDATE